Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
71	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
72	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus
73	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-09-06 04:29:36 Software engineering Computer programming Computing Subroutines Type theory Lambda calculus Theoretical computer science Data types Inline expansion Mutual recursion Recursion Standard ML
74	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
75	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
76	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
77	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
78	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
79	Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-28 05:09:28 Software engineering Computer programming Programming language theory Object-oriented programming languages Subroutines Functional languages Cross-platform software Lambda calculus Scheme Parameter Lisp Dylan
80	A Safe Screening Rule for Sparse Logistic Regression Jie Wang1 , Jiayu Zhou1 , Jun Liu2 , Peter Wonka1 , and Jieping Ye1 arXiv:1307.4145v2 [cs.LG] 18 Jul Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:10:32 Operator theory Ordinary differential equations Spectral theory Logic in computer science Lambda calculus

UPDATE